Analyzing Time-Related Clauses in Transparent Intensional Logic
نویسندگان
چکیده
The Normal Translation Algorithm (NTA) for Transparent Intensional Logic (TIL) describes the key parts of standard translation from natural language sentences to logical formulae. NTA was specified for the Czech language as a representative of a free-word-order language with rich morphological system. In this paper, we describe the implementation of the sentence building part of NTA within a module of logical analysis in the Czech language syntactic parser synt. We show the respective lexicons and data structures in clause processing with numerous examples concentrating on the temporal aspects of clauses.
منابع مشابه
Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic
First, some basic notions of transparent intensional logic (TIL) are introduced. Secondly, it is studied how natural-language interrogatives are analyzed in TIL.
متن کاملTime Aspects of Transparent Intensional Logic in Communication and Decision-Making of Agents
This paper shows pitfalls in the formal representation of a state of a multiagent system that is changing in time and we propose a solution based on Transparent intensional logic. Moreover, we propose a method for the definition of facts and rules and communication between agents in such a way that preserves consistency of agents’ knowledge base. Using an example we present a set of methods for...
متن کاملTowards a Unified Theory of Intensional Logic Programming
Intensional Logic Programming is a new form of logic programming based on intensional logic and possible-worlds semantics. Intensional logic allows us to use logic programming to specify nonterminating computations and to capture the dynamic aspects of certain problems in a natural and problem-oriented style. The meanings of formulas of an intensional firstorder language are given according to ...
متن کاملMind modeling using Transparent Intensional Logic
In this paper the possibility of human mind modeling is discussed. According the recent knowledge from cognitive and neurology sciences we inspect the human brain principles. Position of natural language (NL) is outlined alongside its connection with human senses. As a result the Theory of three layers (TTL) is introduced. Arguments from the Incompleteness theory are used to support its own tru...
متن کاملThe Learning and Question Answering Modes in the Dolphin System for the Transparent Intensional Logic
In this paper, we present the two modes of operation of the developed Dolphin system, which implements a knowledge base for the Transparent Intensional Logic formalism. We offer several examples of the system input with detailed explanation of how these inputs are parsed and stored in the system and how the system reuses the knowledge base information for answering simple questions offering a k...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011